Set theory

Results: 2815



#Item
631

1997 Paper 4 Question 8 Computation Theory Define what is meant by saying that a set of partial recursive (µR) functions is recursively enumerable. Explain briefly how the universal register machine might be used to de

Add to Reading List

Source URL: www.cl.cam.ac.uk

- Date: 2014-06-09 10:17:16
    632

    Ph219/CS219 Problem Set 3 Solutions by Hui Khoon Ng December 3, 2006 (KSV: Kitaev, Shen, Vyalyi, Classical and Quantum ComputationThe O(...) notation

    Add to Reading List

    Source URL: www.theory.caltech.edu

    Language: English - Date: 2006-12-03 21:18:39
      633

      3660 IEEE TRANSACTIONS ON INFORMATION THEORY, VOL. 56, NO. 8, AUGUST 2010 Tighter Bounds on the Capacity of Finite-State Channels Via Markov Set-Chains

      Add to Reading List

      Source URL: www.stanford.edu

      Language: English - Date: 2012-01-20 18:01:45
        634

        100 years of Zermelo’s axiom of choice: what was the problem with it? Per Martin-Löf Cantor conceived set theory in a sequence of six papers published in the Mathematische Annalen during the five year period

        Add to Reading List

        Source URL: people.kth.se

        Language: English - Date: 2006-02-08 12:22:57
          635

          GRADUATE COURSE DESCRIPTIONS MATH 201 A-B-C (FWS), Akemann, Real Analysis Measure theory and integration. Point set topology. Principles of functional analysis. Lp spaces. The Riesz representation theorem. Topics

          Add to Reading List

          Source URL: math.ucsb.edu

          Language: English - Date: 2014-09-10 11:52:27
            636

            Example Questions for the Road Safety Authority Stage 1 Theory Test NOTES ON TEST • There will be a short introduction which will set out full instructions for the test.

            Add to Reading List

            Source URL: www.rsa.ie

            Language: English - Date: 2013-02-20 12:14:08
              637

              Cantor’s Grundlagen and the Paradoxes of Set Theory W. W. Tait∗ Foundations of a General Theory of Manifolds [Cantor, 1883], which I will refer to as the Grundlagen, is Cantor’s first work on the general theory of

              Add to Reading List

              Source URL: home.uchicago.edu

              Language: English - Date: 2001-05-26 09:33:06
                638

                Problem Set 2 Physics498:Theoretical Biophysics /Spring 2001 Professor Klaus Schulten Problem 1: Semiclassical Theory of Electron Transfer Consider electron transfer described in terms of a system coupled to a classical

                Add to Reading List

                Source URL: www.ks.uiuc.edu

                Language: English - Date: 2001-02-28 11:54:27
                  639

                  Handout on tree width and graph minors December 29, 2011, and January 5, 2012 We shall touch upon the theory of Graph Minors by Robertson and Seymour. As a motivating example, we show that maximum weight independent set

                  Add to Reading List

                  Source URL: www.wisdom.weizmann.ac.il

                  Language: English - Date: 2012-01-05 11:55:55
                    640

                    Modeling set theory in homotopy type theory Jérémy Ledent Supervised by Bas Spitters & Freek Wiedijk Radboud University of Nijmegen, Netherlands May 19 to August 08, 2014

                    Add to Reading List

                    Source URL: perso.ens-lyon.fr

                    Language: English - Date: 2015-04-28 15:21:22
                      UPDATE